perm filename D[DIS,DBL]1 blob
sn#209295 filedate 1976-04-06 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00008 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .DEVICE XGP
C00004 00003 .COMMENT MACROS
C00013 00004 .COMMENT SET THE VARIABLES
C00014 00005 .COMMENT GET THE CHAPTERS
C00015 00006 .COMMENT Things still to do
C00016 00007 .COMMENT Title page
C00018 00008 5↓_Table of Contents_↓*
C00019 ENDMK
C⊗;
.DEVICE XGP
.COMMENT DEVICE LPT ;
.FONT 1 "BASL30"
.FONT 2 "BASB30"
.FONT 3 "NGR25"
.FONT 4 "BASI30"
.FONT 5 "BDR40"
.FONT 6 "NGB25"
.FONT 7 "NGR20"
.FONT 8 "GRFX35"
.FONT A "SUP"
.FONT B "SUB"
.TURN ON "↑α↓_π[]{"
.TURN ON "⊗" FOR "%"
.TURN ON "@" FOR "%"
.PAGE FRAME 54 HIGH 89 WIDE
.TITLE AREA HEADING LINES 1 TO 2
.AREA TEXT LINES 3 TO 52
.COUNT PAGE FROM 1 TO 999 PRINTING "1"
.TABBREAK
.ODDLEFTBORDER←EVENLEFTBORDER←850
.COMMENT IF device is LPT then remove these ligatures;
.AT "ffi" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "≠" ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "≥" ELSE "fαf" ⊃;
.AT "fl" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "∨" ELSE "fαl" ⊃;
.AT "fi" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "α≡" ELSE "fαi" ⊃;
.AT "--" ⊂ IF THISFONT=1 OR THISFONT=2 OR THISFONT=4
. THEN "α¬" ELSE "-α-" ⊃;
.COMMENT MACROS;
.MACRO FAD ⊂ FILL ADJUST DOUBLE SPACE PREFACE 2 ⊃
.MACRO FAS ⊂ FILL ADJUST SINGLE SPACE PREFACE 1 COMPACT SELECT 1 ⊃
.FAS
.MACRO GET(FILE, εPPS); ⊂ BEGIN "FILE"
. REQUIRE "FILE" SOURCE_FILE;
. END "FILE" ⊃;
.MACRO GGET(FILE, εPPS); ⊂ BEGIN "FILE"
. IF APPYET=0 THEN START NSEC(FILE); END;
. ELSE START NSECA(FILE); END;
. IF PPS≠NULL AND PPS>0 THEN START PAGE←PAGE+PPS; END;
. END "FILE" ⊃;
.MACRO HEAD ⊂ EVERY HEADING(⊗7AM Thesis Draft:⊗* ⊗4{DATE}⊗*,⊗7Doug Lenat⊗*,⊗7chapter {SECNUM} ⊗*⊗6 page {PAGE}⊗*) ⊃
.MACRO HEADA ⊂ EVERY HEADING(⊗7AM Thesis Draft:⊗* ⊗4{DATE}⊗*,⊗7Doug Lenat⊗*,⊗7appendix {ASECNUM} ⊗*⊗6 page {PAGE}⊗*) ⊃
.MACRO B ⊂ BEGIN VERBATIM GROUP ⊃
.MACRO E ⊂ APART END ⊃
.MACRO D ⊂ ONCE PREFACE 100 MILLS ⊃
.MACRO O44 ⊂ ONCE PREFACE 0 INDENT 4,4,0 ⊃
.MACRO OO ⊂ ONCE PREFACE 1 INDENT 0,4,0 ⊃
.MACRO B04 ⊂ BEGIN PREFACE 0 INDENT 4,4,0 ONCE INDENT 0,4,0 PREFACE 1 ⊃
.MACRO B48 ⊂ BEGIN PREFACE 0 INDENT 4,8,0 ⊃
.MACRO B816 ⊂ BEGIN SELECT 6 PREFACE 0 INDENT 8,16,0 ⊃
.MACRO B1 ⊂ BEGIN NOFILL PREFACE 0 SELECT 6 TURN OFF "{}" TURN ON "↑↓" ⊃
.MACRO B0 ⊂ BEGIN WIDEN 2,7 SELECT 8 NOFILL PREFACE 0 MILLS TURN OFF "↑↓" GROUP ⊃
.MACRO B7 ⊂ BEGIN WIDEN 7,7 SELECT 8 NOFILL PREFACE 0 MILLS TURN OFF "↑↓" GROUP ⊃
.MACRO W(F) ⊂ SELECT F NOFILL SINGLE SPACE; PREFACE 0; WIDEN 7,7 ⊃
.MACRO BN ⊂ BEGIN INDENT 4,7,0 PREFACE 0 BNN←0 ⊃
.MACRO BBOX ⊂ B0 NARROW 4,4 TURN ON "∞→α" TOPLIN ⊃
.MACRO WBOX (εLEFTN,εRIGHTN) ⊂ B0; NARROW LEFTN,RIGHTN; TURN ON "∞→α"; TOPLIN ⊃
.MACRO EBOX ⊂ BOTLIN E BREAK ⊃
.MACRO TOPLIN ⊂
⊂∞α→⊃
. ⊃
.MACRO BOTLIN ⊂
%∞α→$
. ⊃
.AT "MBOX" L "$" ⊂ "~ ⊗6L⊗8∞ →~" ⊃
.MACRO BOX (εTOPSIDE,εBOTTOMSIDE,εLEFTSIDE,εRIGHTSIDE) ⊂
.BEGIN
.AREA BOXING LINES TOPSIDE TO BOTTOMSIDE+1
.PLACE BOXING
.NOFILL; PREFACE 0 MILLS
.SELECT 8
.INDENT LEFTSIDE
.TABS RIGHTSIDE
.TURN ON "\∞→"
⊂∞α→\⊃
.K←BOTTOMSIDE-TOPSIDE-1
.REPEAT ⊂
~∞ →\~
.K←K-1; IF K≤0 THEN DONE
.⊃
%∞α→\$
.END
.⊃
.MACRO BOXTOP (εLLEFT) ⊂ BEGIN
. IF LINES≤LLEFT THEN START NEXT PAGE ; END ;
. TOPHERE←TOPLINE+LINE-1
. SPACING 0 MILLS; PREFACE 0 MILLS
. GROUP SKIP 2
. INDENT 2,2,2
. ⊃
.MACRO BOXBOT (εLL,εRR)⊂
. BOTTOMHERE←TOPLINE+LINE-1
. GROUP SKIP 2
. END
. BOX (TOPHERE,BOTTOMHERE,LL,RR)
. ⊃
.AT "λλ" ⊂ TURN ON "{}" BNN←BNN+1 "⊗6{BNN}.⊗* " ⊃
.MYFOOT←1
.FOOTSEP←"________________________________________________________________________________________"
.COUNT FOOTNOTE INLINE PRINTING "⊗A1⊗*"
.AT "$$" ENTRY "$" ⊂ XGENLINES←XGENLINES-1; NEXT FOOTNOTE; !;
.SEND FOOT ⊂ TURN ON "[]{" SELECT 7; SPACING 0; PREFACE 0; INDENT 0,10
⊗A{MYFOOT}⊗* ENTRY
.MYFOOT←MYFOOT+1
.BREAK ⊃ ⊃
.AT "<<" ENTRY ">" ⊂ COMMENT we may want to record all such omissions somewhere;
.TURN ON "{"
.SEND TODO ⊂
Page {PAGE}: @7ENTRY@*
. ⊃
.TURN OFF "{"
⊗2<↓_Still to do:_↓ ⊗* ⊗4 ENTRY⊗*⊗2>⊗*
.BREAK ⊃
.AT "***" ENTRY "." ⊂ APART GROUP
⊗6** ↓_ENTRY:_↓ **⊗*
. ⊃
.AT "*.*" ENTRY "." ⊂ "⊗6** ↓_ENTRY_↓ **⊗*" ⊃
.AT "-1-" ⊂ "⊗A-1⊗*" ⊃;
.AT "-o-" ⊂ "⊗7o⊗*" ⊃;
.AT "∂" ⊂ "αα" ⊃;
.MACRO NSECP(A) ⊂ SSECNUM←0
.MYFOOT←1
.COUNT FOOTNOTE INLINE PRINTING "⊗A1⊗*"
.SECNUM←SECNUM+1
.HEAD
.SECTION←"A"
.SKIP TO COLUMN 1
.TURN ON "{∞→"
.SEND CONTENTS ⊂
@2{SECNUM}. ↓_A_↓⊗* ∞.→ {PAGE}
.⊃
.SEND TODO ⊂
@2↓_CHAPTER {SECNUM}_↓@*
. ⊃
.TURN OFF "{∞→"
.ONCE CENTER TURN ON "{}"
@5↓_{SECNUM}. A_↓⊗*
. ⊃
.MACRO NSEC(A) ⊂ SSECNUM←0
.MYFOOT←1
.COUNT FOOTNOTE INLINE PRINTING "⊗A1⊗*"
.SECNUM←SECNUM+1
.HEAD
.SECTION←"A"
.COMMENT DO NOT SKIP TO COLUMN 1;
.TURN ON "{∞→"
.SEND CONTENTS ⊂
@1{SECNUM}. ↓_A_↓⊗* ∞.→ @7Not pubbed⊗*
.⊃
.SEND TODO ⊂
@2↓_CHAPTER {SECNUM}_↓ is not present in this pub run@*
. ⊃
.TURN OFF "{∞→"
.SKIP 3
.ONCE CENTER TURN ON "{}"
@5↓_{SECNUM}. A_↓⊗*
. ⊃
.MACRO SSEC(A) ⊂ TURN ON "{∞→"
.FAS
.SSECNUM←SSECNUM+1
.SSSECNUM←0
.IF LINES≤5 THEN START SKIP TO COLUMN 1 END ;
.SEND CONTENTS ⊂
@1 {SECNUM}.{SSECNUM}. A⊗* ∞.→ {PAGE}
.⊃
.TURN OFF "{∞→"
.ONCE INDENT 6 TURN ON "{}"
@2↓_{SECNUM}.{SSECNUM}. A_↓⊗*
. ⊃
.MACRO SSSEC(A) ⊂ TURN ON "{∞→"
.SSSECNUM←SSSECNUM+1
.IF LINES≤4 THEN START SKIP TO COLUMN 1 END ;
.SEND CONTENTS ⊂
@1 @*@7A⊗*
.⊃
.TURN OFF "{∞→"
.ONCE INDENT 1 TURN ON "{}"
@2↓_{SECNUM}.{SSECNUM}.{SSSECNUM}. A_↓⊗*
. ⊃
.MACRO ASEC(Z) ⊂ SSECNUM←0
.APPYET←1;
.SECTION←"Z"
.MYFOOT←1
.COUNT FOOTNOTE INLINE PRINTING "⊗A1⊗*"
.ASECNUM←ASECNUM+1
.HEADA
.SKIP TO COLUMN 1
.TURN ON "{∞→"
.SEND CONTENTS ⊂
@2Appendix {ASECNUM}. ↓_Z_↓⊗* ∞.→ {PAGE}
.⊃
.SEND TODO ⊂
@2↓_APPENDIX {ASECNUM}_↓@*
. ⊃
.TURN OFF "{∞→"
.ONCE CENTER TURN ON "{}"
@5↓_Appendix {ASECNUM}. Z_↓⊗*
. ⊃
.MACRO NSECA(Z) ⊂ SSECNUM←0
.COMMENT For GGETing a non-present appendix;
.SECTION←"Z"
.ASECNUM←ASECNUM+1
.HEADA
.COMMENT DO NOT SKIP TO COLUMN 1;
.TURN ON "{∞→"
.SEND CONTENTS ⊂
@2Appendix {ASECNUM}. ↓_Z_↓⊗* ∞.→ @7Not pubbed⊗*
.⊃
.SEND TODO ⊂
@2↓_APPENDIX {ASECNUM}_↓ is not present in this pub run@*
. ⊃
.TURN OFF "{∞→"
.ONCE CENTER PREFACE 3 TURN ON "{}"
@5↓_Appendix {ASECNUM}. Z_↓⊗*
. ⊃
.MACRO ASSEC(A) ⊂ TURN ON "{∞→"
.SELECT 1
.IF LINES≤4 OR SSECNUM≠0 THEN START SKIP TO COLUMN 1 END ;
.SSECNUM←SSECNUM+1;
.SEND CONTENTS ⊂
@1 A⊗*
.⊃
.TURN OFF "{∞→"
.ONCE INDENT 6 TURN ON "{}"
@2↓_A_↓⊗*
. ⊃
.COMMENT SET THE VARIABLES;
.FAS
.SECNUM←-1
.ASECNUM←0
.SSECNUM←0
.APPYET←0
.BNN←85
.SELECT 1
.INSERT CONTENTS
.PAGE←0
.COMMENT These labels will be moved when the right chpaters are written;
.DIFSECNUM: SECNUM
.DIFSSECNUM: SSECNUM
.DIFSEC: PAGE
.MAXDIVPAGE: PAGE
.MAXDIVSEC: SECNUM
.MAXDIVSSEC: SSECNUM
.PORTION THESIS
.NARROW 2,7
.TURN OFF "{∞→}"
.PAGE←0
.NEXT PAGE
.INDENT 0
.FAS
.COMPACT
.TURN OFF "{∞→}"
.COMMENT GET THE CHAPTERS;
.ABSTRA: 0
.OVERV: 1
.EXAM1: 2
.AGENDA: 3
.HEURS: 4
.KNOWL: 5
.EXAM2: 6
.EVALU: 7
.SCIENC: 8
.GLOS: 1
.MAXDIV: 2
.BEINGS: 3
.CONS: 4
.TRACES: 5
.LFNS: 6
.BIB: 7
.GET(ABSTRA)
.GET(OVERV,4)
.GET(EXAM1,11)
.GET(AGENDA,10)
.GET(HEURS,15)
.GET(KNOWL,3)
.GET(EXAM2)
.GET(EVALU)
.GET(SCIENC)
.GET(GLOS)
.GET(MAXDIV)
.GET(BEINGS)
.GET(CONS)
.GET(TRACES)
.GET(LFNS)
.GET(BIB,9)
.COMMENT Things still to do;
.EVERY HEADING(,,)
.PORTION TODO
.BEGIN NOFILL PREFACE 0 TURN ON "↑↓_{}∞→" SELECT 1
.ONCE CENTER
⊗5↓_Things still to do_↓⊗*
.RECEIVE
.END
.PAGE←0
.SELECT 1
.COMMENT Title page;
.EVERY HEADING(,,)
.PORTION CONTENTS
.NOFILL
.NARROW 6,8
.BEGIN CENTER
.GROUP SKIP 3
.SELECT 5
DISCOVERY IN MATHEMATICS AS HEURISTIC SEARCH:
An A.I. Encroach to Plausible Inference in Science
.SELECT 2
.TURN ON "{∞→"
Douglas B. Lenat
Artificial Intelligence Laboratory
Stanford University
⊗6Thesis Draft as of: {DATE}⊗*
.SELECT 4
"Indeed, you can build a machine to draw demonstrative conclusions for you,
but I think you can never build a machine that will draw plausible inferences."
⊗7---- Polya, ↓_Patterns of Plausible Inference_↓⊗*
.SELECT 1
.SKIP TO COLUMN 1
⊗5↓_Table of Contents_↓⊗*
.END
.PREFACE 10 MILLS
.TURN ON "{∞→"
.NARROW 4,4
.RECEIVE
.PAGE←0
.SELECT 1